A Model Driven Architecture Framework for Robot Design and Automatic Code Generation

International audienceThis work presents a research and development experiment in software engineering at the IMT Mines Ales, France. The goal is to define a framework allowing a system controller to be graphically designed and its java code to be automatically generated. This framework is expected to be a support for students following the system engineering curriculum, and who have to program LEGO Mindstorms EV3 robots although they have not already been trained to concurrent Java programming. The experimental methodology focuses on learning and implementing the following paradigms: model driven design, software architecture for event driven systems and reactive system programming using JAVA threads. We present the design framework defined during this experiment, and the feedback of students who have been involved in setting up the state of the art and developing the framework

Modelling and Simulation of a catchment in order to evaluate water resources

International audienceOur work addresses this problem in the domain of water management at a catchment scale and consists in evaluating water balances. We have developed a software framework allowing simulation scenarios to be easily run and results about outlet flow and groundwater variation to be easily interpreted. In this paper, we study anthropogenic scenarios consisting in modifying the land cover at different scales: parcel, slopes or catchment. The simulation is supported by a methodology allowing catchment models to be built up using a hierarchical and modular approach based on components formalised by sequential machines. Few modelling parameters are necessary because our purpose is not to build up a "perfect" model to represent a catchment from a hydrological point of view but to illustrate the impact of climatic changes or anthropogenic activities on water balance. The simulation interface allows climatic data files to be selected to compare various scenarios. It allows the land-use to be easily modified to understand the impact of anthropogenic activities on water from a quantitative point of view. Modelling and results of simulation are illustrated on a catchment located in the area of Cévennes (South of France)

Landscape-use optimisation with regards to the groundwater resources protection in mountain hardrock areas, LOWRGREP

Synthesis of work performed during the European Project LOWRGREPThis report assesses the degree of interference of human activities with the hydrosphere in mountain-zones, all located in hard-rock areas of different countries in the European Union. Each of the test-regions has a specific degree of protection: from regions with very few inhabitants and very low human impact, to regions submitted to a strong anthropogenic impact. The investigations focused on the changes in water quality and on the simulation of various alternatives leading to optimum landscape-use from the point of view of water-management. The project's own Geographic Information System was used to fulfil the following objective: present all the obtained knowledge and analyse all the data in user-friendly form (maps of water vulnerability) and make this knowledge available for potential users with, for instance, the creation and use of a web site. A simulation tool has been developed which facilitates the assessment of the impact of landscape-use on the water budget of the catchment. In all the areas investigated chloride is present, only in winter and very close to roads. Another result of this work is the decreasing impact on water of sulphur and sulphuric compounds in Germany and in the Czech Republic, while the nitrogen impact is increasing. Recommendations concerning the landscape-use presented for all the regions in particular for good practices in agricultur

Electronic Clinical Decision Support System for allergic rhinitis management : MASK e-CDSS

Background: Allergic rhinitis (AR) management has changed in recent years following the switch from the concept of disease severity to the concept of disease control, publication of the AR clinical decision support system (CDSS) and development of mobile health (m-health) tools for patients (eg Allergy Diary). The Allergy Diary Companion app for healthcare providers is currently being developed and will be launched in 2018. It incorporates the AR CDSS to provide evidence-based treatment recommendations, linking all key stakeholders in AR management. Objective: To produce an electronic version of the AR CDSS (e-CDSS) for incorporation into the Allergy Diary Companion, to describe the app interfaces used to collect information necessary to inform the e-CDSS and to summarize some key features of the Allergy Diary Companion. Methods: The steps involved in producing the e-CDSS and incorporating it into the Allergy Diary Companion were (a) generation of treatment management scenarios; (b) expert consensus on treatment recommendations; (c) generation of electronic decisional algorithms to describe all AR CDSS scenarios; (d) digitization of these algorithms to form the e-CDSS; and (e) embedding the e-CDSS into the app to permit easy user e-CDSS interfacing. Results: Key experts in the AR field agreed on the AR CDSS approach to AR management and on specific treatment recommendations provided by Allergy Diary Companion. Based on this consensus, decision processes were developed and programmed into the Allergy Diary Companion using Titanium Appcelerator (JavaScript) for IOS tablets. To our knowledge, this is the first time the development of any m-health tool has been described in this transparent and detailed way, providing confidence, not only in the app, but also in the provided management recommendations. Conclusion: The Allergy Diary Companion for providers provides guideline and expert-endorsed AR management recommendations. [MASK paper No 32].Peer reviewe

ARIA digital anamorphosis : Digital transformation of health and care in airway diseases from research to practice

Digital anamorphosis is used to define a distorted image of health and care that may be viewed correctly using digital tools and strategies. MASK digital anamorphosis represents the process used by MASK to develop the digital transformation of health and care in rhinitis. It strengthens the ARIA change management strategy in the prevention and management of airway disease. The MASK strategy is based on validated digital tools. Using the MASK digital tool and the CARAT online enhanced clinical framework, solutions for practical steps of digital enhancement of care are proposed.Peer reviewe

ARIA digital anamorphosis: Digital transformation of health and care in airway diseases from research to practice

Digital anamorphosis is used to define a distorted image of health and care that may be viewed correctly using digital tools and strategies. MASK digital anamorphosis represents the process used by MASK to develop the digital transformation of health and care in rhinitis. It strengthens the ARIA change management strategy in the prevention and management of airway disease. The MASK strategy is based on validated digital tools. Using the MASK digital tool and the CARAT online enhanced clinical framework, solutions for practical steps of digital enhancement of care are proposed

Contribution a l'etude et au developpement d'un generateur de sequences de test comportemental

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81328 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Development and Verification of UML Architectures by Refinement and Extension Techniques

International audienceWe have developed an incremental development framework which supports progressive constructions of UML state machines. This framework includes behavioral refinement and extension verifications. In this paper, we extend this framework to UML composite components in order to guide architecture modeling and verification.It consists of a set of construction techniques which assist the designer in two complementary ways: concerning behavioral aspects, the techniques are based on formal relations which determine if the new architectures are true refinement and/or extensions of the former ones; concerning structural aspects, the techniques contribute to the software engineering design principles separation of concerns, information hiding and hierarchical modeling.The paper presents some of these techniques and illustrates them through a case study

Speed up of behavioral A.T.P.G. using a heuristic criterion

ISBN:0-89791-577-1 website : http://portal.acm.org/citation.cfm?id=157485.164587&coll=portal&dl=ACM&type=series&idx=157485&part=Proceedings&WantType=Proceedings&title=Annual%20ACM%20IEEE%20Design%20Automation%20Conference&CFID=19845851&CFTOKEN=2270133International audienc

Behavioral Testing of Digital Circuits

website : http://msrc.wvu.edu/JMSI/vol1.htmlInternational audienceIn this paper, we present what is Behavioral Testing, the motivation in Behavioral Testing and how to perform Behavioral Testing. A new BTPG approach for circuits described according to a behavioral point of view in a procedural way is detailed. By using an internal modeling allowing the main features of behavioral descriptions to be highlighted, our approach is independent from a particular HDL used to describe the circuit behavior. Furthermore our approach is also general enough to deal with any abstraction level. The approach we propose to generate test patterns consists into two steps: the first one is to define a resolution approach by identifying and solving the basic problems setting up by the behavioral generation without any optimization criteria. The second step is to study how the previous resolution approach can be performed by a technique allowing the generation system to be flexible and evolutive in order to introduce optimization criteria. By such an approach, we avoid the detrimental a priori determination of a single search strategy. Such an approach has led to the development of BETEGE, a behavioral test generation system for procedural descriptions